Transitivity in coherence-based probability logic

Framing human inference by coherence based probability logic

We take coherence based probability logic as the basic reference theory to model human deductive reasoning. The conditional and probabilistic argument forms are explored. We give a brief overview of recent developments of combining logic and probability in psychology. A study on conditional inferences illustrates our approach. First steps towards a process model of conditional inferences conclu...

Coherence and transitivity of subtyping as entailment

Coherence and Probability

A process of construction of subjective probability based on bets introduced by Bruno de Finetti on (1931) is reviewed in detail. 1. INTRODUCTION This paper is based on some articles written by Bruno de Finetti on construction of subjective probability. The aim is to characterize coherent numerical measures of uncertainty as probabilities. Such measures belong to a rational person called \You" ...

Probability Logic and Logical Probability

Many writers who entertain the use of subjective probability or credal probability for, among other things, the evaluation of expected values of options in decision problems insist that such credal probability judgments should be determined by the agent’s “available evidence” or “available knowledge”. Notable 20 century examples are H. Jeffreys (1921, 1951), J.M. Keynes (1921), R. Carnap (1950,...

Probability logic

Introduction Among logicians it is well-known that Leibniz was the first to conceive of a mathematical treatment of logic. Much less known, however, was his insistence that there was need for a new kind of logic that would treat of degrees of probability. Although it isn't clear what Leibniz had in mind for such a logic—understandably, since the subject of probability had just begun in his life...